Non-axiomatizable second order intuitionistic propositional logic
نویسندگان
چکیده
منابع مشابه
A secondary semantics for Second Order Intuitionistic Propositional Logic
We propose a Kripke-style semantics for second order intuitionistic propositional logic. Our semantics can be viewed as a secondary semantics with nested domains in the sense of Skvortsov [6]. Namely, let F be a Kripke frame, that is a partially ordered set, and let D(F) be the Heyting algebra of the upward-closed subsets of F . In principal semantics, quantifiers ranges over all the elements o...
متن کاملSecond-order Propositional Announcement Logic
In this paper we introduce Second-order Propositional Announcement Logic (SOPAL): a language to express arbitrary announcements in Public Announcement Logic, by means of propositional quantification. We present SOPAL within a multi-agent context, and show that it is rich enough to express complex notions such as preservation under arbitrary announcements, knowability, and successfulness. We ana...
متن کاملOn an Interpretation of Second Order Quanti cation in First Order Intuitionistic Propositional Logic
We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, , built up from propositional variables (p; q; r; : : :) and falsity (?) using conjunction (^), disjunction (_) and implication (!). Write ` to indicate that such a formula is intuitionistically valid. We show that for each variable p and formula there exists ...
متن کاملOn an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic
We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, , built up from propositional variables (p; q; r; : : :) and falsity (?) using conjunction (^), disjunction (_) and implication (!). Write ` to indicate that such a formula is intuitionistically valid. We show that for each variable p and formula there exists ...
متن کاملExpressivity of Second Order Propositional Modal Logic
We consider second order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem-Rosen theorem and the GoldblattThomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of S...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1997
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(96)00034-6